Plaza Representation of Strict Closure Space

نویسنده

  • Jan Plaza
چکیده

We define strict closure space algebras as Boolean algebras augmented with a unary operation Int that satisfies conditions analogous to those of the interior operation from strict closure spaces. We also consider a first order modal logic SCS in which the necessity operator satisfies analogous conditions. Sikorski proved that every interior algebra can be represented as an algebra of subsets of a zero-dimensional topological space X ⊆ [2]; in this paper we prove an analogous result for strict closure space algebras. We also prove representability of Tarski-Lindenbaum algebras of SCS-theories in first-order languages of arbitrary cardinality.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

مقایسه‌ی تطبیقی میدان نقش جهان اصفهان و امام حسین(ع) تهران بر اساس روابط پایداری اخلاق مدار

Centralizing ethics in sustainability has led to an evolutionary process towards ethical approach as a holistic approach of sustainable development. This approach, deep in concept, has evolved sustainability and endures the most fundamental relations of human and environment. The most recent definition of ethical sustainability, describes this approach as a complex of human relations, including...

متن کامل

TOPOLOGICAL CHARACTERIZATION FOR FUZZY REGULAR LANGUAGES

We present a topological characterization for fuzzy regular languages: we show that there is a bijective correspondence between fuzzy regular languages and the set of all clopen fuzzy subsets with finite image in the induced fuzzy topological space of Stone space (Profinite space), and then we give a representation of closed fuzzy subsets in the induced fuzzy topological space via fuzzy regular...

متن کامل

Ergodic Properties of the Fröbenius–Perron Semigroup

We consider the Fröbenius–Perron semigroup of linear operators associated to a semidynamical system defined in a topological space X endowed with a finite or a σ–finite regular measure. Assuming strong continuity for the Fröbenius–Perron semigroup of linear operators in the space Lμ(X) or in the space Lμ(X) for 1 < p <∞ ([11]). We study in this article ergodic properties of the Fröbenius–Perron...

متن کامل

ON (L;M)-FUZZY CLOSURE SPACES

The aim of this paper is to introduce $(L,M)$-fuzzy closurestructure where $L$ and $M$ are strictly two-sided, commutativequantales. Firstly, we define $(L,M)$-fuzzy closure spaces and getsome relations between $(L,M)$-double fuzzy topological spaces and$(L,M)$-fuzzy closure spaces. Then, we introduce initial$(L,M)$-fuzzy closure structures and we prove that the category$(L,M)$-{bf FC} of $(L,M...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011